An introduction to programming languages in terms of type theory:
An abridged preview, author comments and supplementary material are available on the PFPL Home Page.
An introduction to programming in Standard ML
On (homotopy types of) covering spaces via homotopy type theory:
Last revised on January 3, 2023 at 20:09:00. See the history of this page for a list of all contributions to it.